Quantaloids Describing Causation and Propagation of Physical Properties

A general principle of causal duality for physical systems, lying at the base of representation theorems for both compound and evolving systems, is proved; formally it is encoded in a quantaloidal setting. Other particular examples of quantaloids and quantaloidal morphisms appear naturally within this setting; as in the case of causal duality, they originate from primitive physical reasonings on the lattices of properties of physical systems. Furthermore, an essentially dynamical operational foundation for studying physical systems is outlined; complementary as it is to the existing static operational foundation, it leads to the natural axiomatization of causal duality in operational quantum logic.     

Convexity of Nonlinear Image of a Small Ball with Applications to Optimization

Let f: XY be a nonlinear differentiable map, X,Y are Hilbert spaces, B(a,r) is a ball in X with a center a and radius r. Suppose f (x) is Lipschitz in B(a,r) with Lipschitz constant L and f (a) is a surjection: f (a)X=Y; this implies the existence of >0 such that f (a)^* yy, yY. Then, if r,/(2L), the image F=f(B(a,)) of the ball B(a,) is convex. This result has numerous applications in optimization and control. First, duality theory holds for nonconvex mathematical programming problems with extra constraint x–a. Special effective algorithms for such optimization problems can be constructed as well. Second, the reachability set for small power control is convex. This leads to various results in optimal control.     

Asymptotic Behavior of Loss Probability in GI/M/1/K Queue as K Tends to Infinity

We obtain an asymptotic behavior of the loss probability for the GI/M/1/K queue as K for cases of <1, >1 and =1.     

A posteriori error estimation and adaptivity for degenerate parabolic problems

Two explicit error representation formulas are derived for degenerate parabolic PDEs, which are based on evaluating a parabolic residual in negative norms. The resulting upper bounds are valid for any numerical method, and rely on regularity properties of solutions of a dual parabolic problem in nondivergence form with vanishing diffusion coefficient. They are applied to a practical space-time discretization consisting of piecewise linear finite elements over highly graded unstructured meshes, and backward finite differences with varying time-steps. Two rigorous a posteriori error estimates are derived for this scheme, and used in designing an efficient adaptive algorithm, which equidistributes space and time discretization errors via refinement/coarsening. A simulation finally compares the behavior of the rigorous a posteriori error estimators with a heuristic approach, and hints at the potentials and reliability of the proposed method.

     

Hadron spectroscopy and structure from AdS/CFT

The AdS/CFT correspondence between conformal field theory and string states in an extended space-time has provided new insights into not only hadron spectra, but also their light-front wave functions. We show that there is an exact correspondence between the fifth-dimensional coordinate of anti-de Sitter space z and a specific impact variable ζ which measures the separation of the constituents within the hadron in ordinary space-time. This connection allows one to predict the form of the light-front wave functions of mesons and baryons, the fundamental entities which encode hadron properties and scattering amplitudes. A new relativistic Schr?dinger light-front equation is found which reproduces the results obtained using the fifth-dimensional theory. Since they are complete and orthonormal, the AdS/CFT model wave functions can be used as an initial ansatz for a variational treatment or as a basis for the diagonalization of the light-front QCD Hamiltonian. A number of applications of light-front wave functions are also discussed.     

A holographic model of deconfinement and chiral symmetry restoration

We analyze the finite temperature behavior of the Sakai-Sugimoto model, which is a holographic dual of a theory which spontaneously breaks a U(N_f)_L × U(N_f)_R chiral flavor symmetry at zero temperature. The theory involved is a 4 + 1 dimensional supersymmetric SU(N_c) gauge theory compactified on a circle of radius R with anti-periodic boundary conditions for fermions, coupled to N_f left-handed quarks and N_f right-handed quarks which are localized at different points on the compact circle (separated by a distance L). In the supergravity limit which we analyze (corresponding in particular to the large N_c limit of the gauge theory), the theory undergoes a deconfinement phase transition at a temperature T_d = 1/2πR. For quark separations obeying L > L_c ? 0.97 ∗ R the chiral symmetry is restored at this temperature, but for L < L_c ? 0.97 ∗ R there is an intermediate phase which is deconfined with broken chiral symmetry, and the chiral symmetry is restored at T_χSB ? 0.154/L. All of these phase transitions are of first order.     

Semi-infinite programming,duality, discretization and optimality conditions†

The aim of this article is to give a survey of some basic theory of semi-infinite programming. In particular, we discuss various approaches to derivations of duality, discretization, and first- and second-order optimality conditions. Some of the surveyed results are well known while others seem to be less noticed in that area of research.     

Spacelike Willmore surfaces in 4-dimensional Lorentzian space forms

Spacelike Willmore surfaces in 4-dimensional Lorentzian space forms, a topic in Lorentzian conformal geometry which parallels the theory of Willmore surfaces in S4, are studied in this paper. We define two kinds of transforms for such a surface, which produce the so-called left/right polar surfaces and the adjoint surfaces. These new surfaces are again conformal Willmore surfaces. For them the interesting duality theorem holds. As an application spacelike Willmore 2-spheres are classified. Finally we construct a family of homogeneous spacelike Willmore tori.     

Barbilian’s metrization procedure in the plane yields either Riemannian or Lagrange generalized metrics

In the present paper we answer two questions raised by Barbilian in 1960. First, we study how far can the hypothesis of Barbilian’s metrization procedure can be relaxed. Then, we prove that Barbilian’s metrization procedure in the plane generates either Riemannian metrics or Lagrance generalized metrics not reducible to Finslerian or Langrangian metrics.     

On the Multi-Dimensional Duality Principle of Sawyer Type

A multi-dimensional version of the duality principle of Sawyer type [1] is obtained whenever the corresponding weight satisfies some doubling property. Received June 27, 2000, Accepted September 14, 2000